Knihy od autora Doron A. Peled

Zobrazené 1 – 8 z 8 výsledkov

1. 

   Runtime Verification

   Saddek Bensalem, Doron A. Peled | Springer, Berlin, 2009

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.63 €

   Zľava 7 %

   Ušetríte 4.28 €

   Kúpiť
2. 

   Verification, Model Checking, and Abstract Interpretation

   Francesco Logozzo, Doron A. Peled, Leonore D. Zuck | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.63 €

   Zľava 7 %

   Ušetríte 4.28 €

   Kúpiť
3. 

   Model Checking and Artificial Intelligence

   Doron A. Peled, Michael Wooldridge | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 13 - 18 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   55.77 €

   Kúpiť
4. 

   Software Reliability Methods

   Doron A. Peled, Edmund M. Clarke | Springer-Verlag New York Inc., 2001

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 13 - 18 dní

   Jazyk: Angličtina

   Väzba: Pevná

   55.77 €

   Kúpiť
5. 

   Automated Technology for Verification and Analysis

   Doron A. Peled, Yih-Kuen Tsay | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.63 €

   Zľava 7 %

   Ušetríte 4.28 €

   Kúpiť
6. 

   Formal Techniques for Networked and Distributed Systems - FORTE 2002

   Doron A. Peled, Moshe Y. Vardi | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.63 €

   Zľava 7 %

   Ušetríte 4.28 €

   Kúpiť
7. 

   Software Reliability Methods

   Doron A. Peled, E.M. Clarke | Springer-Verlag New York Inc., 2011

   
   

   Skladom u dodávateľa - Odosielame za 8 - 11 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   50.52 €

   Zľava 9 %

   Ušetríte 5.39 €

   Kúpiť
8. 

   Computer Aided Verification

   Rajeev Alur, Doron A. Peled | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   102.86 €

   Zľava 7 %

   Ušetríte 8.62 €

   Kúpiť

Orientačné termín doručenia vidíte priamo v detaile knihy. Zistite viac